-
1 выводимая теорема
Большой англо-русский и русско-английский словарь > выводимая теорема
-
2 deducible
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem( from) выводимыйБольшой англо-русский и русско-английский словарь > deducible
-
3 deducible theorem
Большой англо-русский и русско-английский словарь > deducible theorem
-
4 deducible theorem
Математика: выводимая теорема -
5 formally deducible theorem
Математика: формально выводимая теоремаУниверсальный англо-русский словарь > formally deducible theorem
-
6 deducible
-
7 deducible theorem
мат. -
8 formally deducible theorem
English-Russian scientific dictionary > formally deducible theorem
См. также в других словарях:
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная … Математическая энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Матлогика — Математическая логика (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого,… … Википедия